testcase TC_CR_FE_BV_05() runs on EutComp system TestAdapter {
  var ChargeReport chargeReport1 : = null;
  var ChargeReport chargeReport2 : = null;
  f_Charging_Preambule ( );
  f_SendContextData ( m_ContextData_default_mileage_requested );
  f_userActions ( cmdSet , contract1 );
  t_ac . start;
  alt {
    [ ] pco . receive ( mw_chargeReport_tableC1 ) -> value chargeReport1 {
      t_ac . stop;
      pco . send ( m_chargeReportResponse_transactionCounter ( PX_TRANSACTION_COUNTER_RESPONSE ) );
      f_userActions ( cmdInc , incMileageDist );
      t_ac . start;
      alt {
        [ ] pco . receive ( mw_chargeReport_tableC1 ) -> value chargeReport2 {
          t_ac . stop;
          if ( ( ( chargeReport2 . mileage . dist - chargeReport1 . mileage . dist ) < = 0 ) or ( chargeReport1 . mileage . disUnit ! = chargeReport2 . mileage . disUnit ) ) {
            setverdict ( fail );
          }
          else {
            setverdict ( pass );
            pco . send ( m_chargeReportResponse_transactionCounter ( PX_TRANSACTION_COUNTER_RESPONSE ) );
          }
        }
      }
    }
  }
  f_Charging_Postambule ( );
}

Description

TC_CR_FE_BV_05: Verify that mileage is not decreasing within one contract

Remarks

[TS 17575-1], Clause 6.3.6 mileage